Prolégomènes à une critique du génie logiciel. Partie 1: Contextualisation = Prolegomenon before a review of software engineering. Part 1: contextualizationMAFFEZZINI, Ivan; PREMIANA, Alice; VENTIMIGLIA, Bernardo et al.Génie logiciel (1995). 2003, Num 66, pp 2-16, issn 1265-1397, 15 p.Article

Data abstraction in AspectJGUDMUNDSON, Stephan; KICZALES, Gregor.Lecture notes in computer science. 2001, pp 270-271, issn 0302-9743, isbn 3-540-42618-3Conference Paper

ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers)Okada, Mitsuhiro; Pierce, Benjamin; Scedrov, Andre et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-00708-3, XI, 470 p, isbn 3-540-00708-3Conference Proceedings

Reinventing the travois : Encryption/MAC in 30 ROM bytesYUVAL, G.Lecture notes in computer science. 1997, pp 205-209, issn 0302-9743, isbn 3-540-63247-6Conference Paper

A rational design process: how and why to fake itPARNAS, D. L; CLEMENTS, P. C.IEEE transactions on software engineering. 1986, Vol 12, Num 2, pp 251-257, issn 0098-5589Article

Experimentation in software engineeringBASILI, V. R; SELBY, R. W; HUTCHENS, D. H et al.IEEE transactions on software engineering. 1986, Vol 12, Num 7, pp 733-743, issn 0098-5589Article

From wetware to software: A cybernetic perspective of self-adaptive softwareLAWS, A. G; TALEB-BENDIAB, A; WADE, S. J et al.Lecture notes in computer science. 2003, pp 257-280, issn 0302-9743, isbn 3-540-00731-8, 24 p.Conference Paper

Factor-covering designs for testing softwareDALAL, S. R; MALLOWS, C. L.Technometrics. 1998, Vol 40, Num 3, pp 234-243, issn 0040-1706Article

A provably correct embedded verifier for the certification of safety critical softwareCIMATTI, A; GIUNCHIGLIA, F; PECCHIARI, P et al.Lecture notes in computer science. 1997, pp 202-213, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Improving linear cryptanalysis of LOKI91 by Probabilistic counting methodSAKURAI, K; FURUYA, S.Lecture notes in computer science. 1997, pp 114-133, issn 0302-9743, isbn 3-540-63247-6Conference Paper

WHAT-IF : a function to estimate the impacts of potential changes in a softwareAjila, Samuel; Basson, Henry; Derniame, Jean-Claude et al.1994, 18 p.Report

Intelligent control of external software systemsNEWELL, A; STEIER, D.Artificial intelligence in engineering. 1993, Vol 8, Num 1, pp 3-21, issn 0954-1810Article

An application of causal analysis to the software modification processCOLLOFELLO, J. S; GOSALIA, B. P.Software, practice & experience. 1993, Vol 23, Num 10, pp 1095-1105, issn 0038-0644Article

Une quête du Graal : la programmation automatique = A quest for the Grail: the automatic programmingGONDRAN, M; HERY, J.-F; LALEUF, J.-C et al.Epure (Paris). 1992, Num 33, pp 3-14, issn 0758-489XArticle

Trends in object-oriented programmingSIMONS, A. J. H.IEE control engineering series. 1990, Vol 43, pp 37-52, issn 0262-1797Article

A micro/macro measure of software complexityHARRISON, W; COOK, C.The Journal of systems and software. 1987, Vol 7, Num 3, pp 213-219, issn 0164-1212Article

Architecture-centric software engineeringBOSCH, Jan.Lecture notes in computer science. 2002, pp 347-348, issn 0302-9743, isbn 3-540-43483-6Conference Paper

Ubiquitous, decentralized, and evolving software: Challenges for software engineeringGHEZZI, Carlo.Lecture notes in computer science. 2002, pp 1-5, issn 0302-9743, isbn 3-540-44310-X, 5 p.Conference Paper

From analysis to deployment : A multi-agent platform surveyRICORDEL, Pierre-Michel; DEMAZEAU, Yves.Lecture notes in computer science. 2000, pp 93-105, issn 0302-9743, isbn 3-540-41477-0Conference Paper

Problème pur et problème d'application = Pure problem and application problemDE MARNEFFE, P.-A.TSI. Technique et science informatiques. 1998, Vol 17, Num 7, pp 917-923, issn 0752-4072Article

An approach to dynamic domain and type enforcementTIDSWELL, J; POTTER, J.Lecture notes in computer science. 1997, pp 26-37, issn 0302-9743, isbn 3-540-63232-8Conference Paper

Best differential characteristic search of FEALAOKI, K; KOBAYASHI, K; MORIAI, S et al.Lecture notes in computer science. 1997, pp 41-53, issn 0302-9743, isbn 3-540-63247-6Conference Paper

Knowledge discovery from software engineering data : Rough set analysis and its interaction with goal-oriented measurementRUHE, G.Lecture notes in computer science. 1997, pp 167-177, issn 0302-9743, isbn 3-540-63223-9Conference Paper

MMH : Software message authentication in the Gbit/second ratesHALEVI, S; KRAWCZYK, H.Lecture notes in computer science. 1997, pp 172-189, issn 0302-9743, isbn 3-540-63247-6Conference Paper

On the security of remotely keyed encryptionLUCKS, S.Lecture notes in computer science. 1997, pp 219-229, issn 0302-9743, isbn 3-540-63247-6Conference Paper